# -*- mode: snippet -*-
# name: Hint Extern
# key: he
# uuid: he
# --
Hint Extern ${1:cost} ${2:pat} => ${3:tac} : ${4:db}.
